搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Abdulla、 Parosh Aziz.、Leino、 K. Rustan M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers 0 索取号：作者：Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Granular Computing and Intelligent Systems [electronic resource] : Design with Information Granules of Higher Order and Higher Type 0 索取号：作者：Pedrycz、 Witold.、Chen、 Shyi-Ming.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Hofmann、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Foundations for the Web of Information and Services [electronic resource] : A Review of 20 Years of Semantic Web Research 0 索取号：作者：Fensel、 Dieter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Computing with Instinct [electronic resource] : Rediscovering Artificial Intelligence 0 索取号：作者：Cai、 Yang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Information Technology and Managing Quality Education [electronic resource] : 9th IFIP WG 3.7 Conference on Information Technology in Educational Management, ITEM 2010, Kasane, Botswana, July 26-30, 2010, Revised Selected Papers 0 索取号：作者：Tatnall、 Arthur.、Kereteletswe、 Omponye Coach.、Visscher、 Adrie.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Search Computing [electronic resource] : Trends and Developments 0 索取号：作者：Ceri、 Stefano.、Brambilla、 Marco.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Social Computing, Behavioral-Cultural Modeling and Prediction [electronic resource] : 4th International Conference, SBP 2011, College Park, MD, USA, March 29-31, 2011. Proceedings 0 索取号：作者：Salerno、 John.、Yang、 Shanchieh Jay.、Nau、 Dana.、Chai、 Sun-Ki.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Soft Computing Models in Industrial and Environmental Applications, 6th International Conference SOCO 2011 [electronic resource] 0 索取号：作者：Corchado、 Emilio.、Sn谩拧el、 V谩clav.、Sedano、 Javier.、Hassanien、 Aboul Ella.、Calvo、 Jos茅 Luis.、艢le抬zak、 Dominik.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Mathematical Image Processing [electronic resource] : University of Orl茅ans, France, March 29th - April 1st, 2010 0 索取号：作者：Bergounioux、 Ma茂tine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Languages and Compilers for Parallel Computing [electronic resource] : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers 0 索取号：作者：Cooper、 Keith.、Mellor-Crummey、 John.、Sarkar、 Vivek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Selected Areas in Cryptography [electronic resource] : 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers 0 索取号：作者：Biryukov、 Alex.、Gong、 Guang.、Stinson、 Douglas R.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Computer Networks and Information Technologies [electronic resource] : Second International Conference on Advances in Communication, Network, and Computing, CNC 2011, Bangalore, India, March 10-11, 2011. Proceedings 0 索取号：作者：Das、 Vinu V.、Stephen、 Janahanlal.、Chaba、 Yogesh.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Fundamentals of Scientific Computing [electronic resource] 0 索取号：作者：Gustafsson、 Bertil.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings 0 索取号：作者：Koch、 Andreas.、Krishnamurthy、 Ram.、McAllister、 John.、Woods、 Roger.、El-Ghazawi、 Tarek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Abdulla、 Parosh Aziz.、Leino、 K. Rustan M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers 0 索取号：作者：Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Granular Computing and Intelligent Systems [electronic resource] : Design with Information Granules of Higher Order and Higher Type 0 索取号：作者：Pedrycz、 Witold.、Chen、 Shyi-Ming.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Hofmann、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Foundations for the Web of Information and Services [electronic resource] : A Review of 20 Years of Semantic Web Research 0 索取号：作者：Fensel、 Dieter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Computing with Instinct [electronic resource] : Rediscovering Artificial Intelligence 0 索取号：作者：Cai、 Yang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Information Technology and Managing Quality Education [electronic resource] : 9th IFIP WG 3.7 Conference on Information Technology in Educational Management, ITEM 2010, Kasane, Botswana, July 26-30, 2010, Revised Selected Papers 0 索取号：作者：Tatnall、 Arthur.、Kereteletswe、 Omponye Coach.、Visscher、 Adrie.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Search Computing [electronic resource] : Trends and Developments 0 索取号：作者：Ceri、 Stefano.、Brambilla、 Marco.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Social Computing, Behavioral-Cultural Modeling and Prediction [electronic resource] : 4th International Conference, SBP 2011, College Park, MD, USA, March 29-31, 2011. Proceedings 0 索取号：作者：Salerno、 John.、Yang、 Shanchieh Jay.、Nau、 Dana.、Chai、 Sun-Ki.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Soft Computing Models in Industrial and Environmental Applications, 6th International Conference SOCO 2011 [electronic resource] 0 索取号：作者：Corchado、 Emilio.、Sn谩拧el、 V谩clav.、Sedano、 Javier.、Hassanien、 Aboul Ella.、Calvo、 Jos茅 Luis.、艢le抬zak、 Dominik.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Mathematical Image Processing [electronic resource] : University of Orl茅ans, France, March 29th - April 1st, 2010 0 索取号：作者：Bergounioux、 Ma茂tine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Languages and Compilers for Parallel Computing [electronic resource] : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers 0 索取号：作者：Cooper、 Keith.、Mellor-Crummey、 John.、Sarkar、 Vivek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Selected Areas in Cryptography [electronic resource] : 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers 0 索取号：作者：Biryukov、 Alex.、Gong、 Guang.、Stinson、 Douglas R.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Computer Networks and Information Technologies [electronic resource] : Second International Conference on Advances in Communication, Network, and Computing, CNC 2011, Bangalore, India, March 10-11, 2011. Proceedings 0 索取号：作者：Das、 Vinu V.、Stephen、 Janahanlal.、Chaba、 Yogesh.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Fundamentals of Scientific Computing [electronic resource] 0 索取号：作者：Gustafsson、 Bertil.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings 0 索取号：作者：Koch、 Andreas.、Krishnamurthy、 Ram.、McAllister、 John.、Woods、 Roger.、El-Ghazawi、 Tarek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.